Elementary remarks on Möbius’ function

Remarks on Elementary Linear Logic

Last works in linear logic mark a trend that can be summarized as: studying of fragments of calculi which have good logical properties and a quite powerful class of representable functions. ELL is a system derived from linear logic which presents several of such good properties: rst of all a bound of the cut-elimination procedure which is lower w.r.t. the usual one.

Elementary remarks on units in monoidal categories

We explore an alternative definition of unit in a monoidal category originally due to Saavedra: a Saavedra unit is a cancellative idempotent (in a 1-categorical sense). This notion is more economical than the usual notion in terms of left-right constraints, and is motivated by higher category theory. To start, we describe the semi-monoidal category of all possible unit structures on a given sem...

Some Remarks on Elementary Divisor Rings II

A weighted Möbius function

Posets with maximal Möbius function

The absolute value of the Möbius function of a bounded poset P with n + 2 elements satisfies |μ(P )| ≤ max r≥0 max p1+...+pr=n pi≥1 r ∏